Csexpmodule type Sexp = sig ... endmodule type S = sig ... endval input : in_channel -> (t, string) resultval input_opt : in_channel -> (t option, string) resultval input_many : in_channel -> (t list, string) resultval serialised_length : t -> intval to_string : t -> stringval to_channel : out_channel -> t -> unitmodule Parser : sig ... endmodule type Input = sig ... endmodule Make_parser (Input : Input) : sig ... end