IdrisDoc: Control.Isomorphism.Iso

Control.Isomorphism.Iso

param_a : (rec : Iso a b) -> Type
param_b : (rec : Iso a b) -> Type