Up – Index » acutis » Acutis_internals » Pp » Ty_repr » REPRABLE

Module type `Ty_repr.REPRABLE`

type t

val t : t -> repr