CCSexp_intf
type 'a or_error
= ('a, string) Pervasives.result
type 'a sequence
= ('a -> unit) -> unit
type 'a gen
= unit -> 'a option
module type SEXP = sig ... end
module type S = sig ... end