Up – Index » acutis » Acutis_internals » Loc » Ty_repr

Module `Loc.Ty_repr`

val t : t -> Pp.Ty_repr.t