Module KTSizedChain.Coq_ESource

Sourcetype 'a t = (int, 'a xpow) sigT
Sourceval to_list : 'a1 t -> 'a1 list
Sourceval level : 'a1 t -> int
Sourceval base : 'a1 -> 'a1 t
Sourceval pair : 'a1 t -> 'a1 t -> 'a1 t
Sourceval unpair : 'a1 t -> ('a1 t * 'a1 t) option