Module 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