Message.Comtype pubkey = Commons.pubkeytype privkey = Commons.privkeyval fold_result : (unit -> 'a) -> (unit -> 'a) -> result' -> 'aval num_seen : seen -> intmodule T : sig ... endmodule Mk : sig ... endmodule Acc : sig ... endmodule Encode : sig ... endmodule Decode : sig ... endmodule Pp : sig ... end