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

Module type `Ty_repr.REPRABLE1`

type 'a t

val t : ('a -> repr) -> 'a t -> repr