Mezzo.Model.Reify

class Primitive a

type BoolRep t

type IntRep t

type IntListRep t

type IntLListRep t

type FunRep a b t