Module Serlib.Ser_decl_kinds

type locality = Decl_kinds.locality
val locality_of_sexp : Sexplib.Sexp.t -> locality
val sexp_of_locality : locality -> Sexplib.Sexp.t
type binding_kind = Decl_kinds.binding_kind
val binding_kind_of_sexp : Sexplib.Sexp.t -> binding_kind
val sexp_of_binding_kind : binding_kind -> Sexplib.Sexp.t
val binding_kind_of_yojson : Yojson.Safe.t -> (binding_kind, string) Result.result
val binding_kind_to_yojson : binding_kind -> Yojson.Safe.t
type polymorphic = Decl_kinds.polymorphic
val polymorphic_of_sexp : Sexplib.Sexp.t -> polymorphic
val sexp_of_polymorphic : polymorphic -> Sexplib.Sexp.t
type private_flag = Decl_kinds.private_flag
val private_flag_of_sexp : Sexplib.Sexp.t -> private_flag
val sexp_of_private_flag : private_flag -> Sexplib.Sexp.t
val private_flag_of_yojson : Yojson.Safe.t -> (private_flag, string) Result.result
val private_flag_to_yojson : private_flag -> Yojson.Safe.t
type cumulative_inductive_flag = Decl_kinds.cumulative_inductive_flag
val cumulative_inductive_flag_of_sexp : Sexplib.Sexp.t -> cumulative_inductive_flag
val sexp_of_cumulative_inductive_flag : cumulative_inductive_flag -> Sexplib.Sexp.t
type theorem_kind = Decl_kinds.theorem_kind
val theorem_kind_of_sexp : Sexplib.Sexp.t -> theorem_kind
val sexp_of_theorem_kind : theorem_kind -> Sexplib.Sexp.t
val theorem_kind_of_yojson : Yojson.Safe.t -> (theorem_kind, string) Result.result
val theorem_kind_to_yojson : theorem_kind -> Yojson.Safe.t
type definition_object_kind = Decl_kinds.definition_object_kind
val definition_object_kind_of_sexp : Sexplib.Sexp.t -> definition_object_kind
val sexp_of_definition_object_kind : definition_object_kind -> Sexplib.Sexp.t
val definition_object_kind_of_yojson : Yojson.Safe.t -> (definition_object_kind, string) Result.result
val definition_object_kind_to_yojson : definition_object_kind -> Yojson.Safe.t
type assumption_object_kind = Decl_kinds.assumption_object_kind
val assumption_object_kind_of_sexp : Sexplib.Sexp.t -> assumption_object_kind
val sexp_of_assumption_object_kind : assumption_object_kind -> Sexplib.Sexp.t
val assumption_object_kind_of_yojson : Yojson.Safe.t -> (assumption_object_kind, string) Result.result
val assumption_object_kind_to_yojson : assumption_object_kind -> Yojson.Safe.t
type assumption_kind = Decl_kinds.assumption_kind
val assumption_kind_of_sexp : Sexplib.Sexp.t -> assumption_kind
val sexp_of_assumption_kind : assumption_kind -> Sexplib.Sexp.t
val assumption_kind_of_yojson : Yojson.Safe.t -> (assumption_kind, string) Result.result
val assumption_kind_to_yojson : assumption_kind -> Yojson.Safe.t
type definition_kind = Decl_kinds.definition_kind
val definition_kind_of_sexp : Sexplib.Sexp.t -> definition_kind
val sexp_of_definition_kind : definition_kind -> Sexplib.Sexp.t
type goal_object_kind = Decl_kinds.goal_object_kind
val goal_object_kind_of_sexp : Sexplib.Sexp.t -> goal_object_kind
val sexp_of_goal_object_kind : goal_object_kind -> Sexplib.Sexp.t
type goal_kind = Decl_kinds.goal_kind
val goal_kind_of_sexp : Sexplib.Sexp.t -> goal_kind
val sexp_of_goal_kind : goal_kind -> Sexplib.Sexp.t
type logical_kind = Decl_kinds.logical_kind
val logical_kind_of_sexp : Sexplib.Sexp.t -> logical_kind
val sexp_of_logical_kind : logical_kind -> Sexplib.Sexp.t
type discharge = Decl_kinds.discharge
val discharge_of_sexp : Sexplib.Sexp.t -> discharge
val sexp_of_discharge : discharge -> Sexplib.Sexp.t
val discharge_of_yojson : Yojson.Safe.t -> (discharge, string) Result.result
val discharge_to_yojson : discharge -> Yojson.Safe.t