Module ErawSource

Sourcetype 'a t = Obj.t
Sourceval leaf : 'a -> 'a t
Sourceval pair : ('a t * 'a t) -> 'a t
Sourceval case_pair : ('a t -> 'a t -> 'b) -> 'a t -> 'b
Sourceval unleaf : 'a t -> 'a