Module type `Sig.With_Enum`

module Context : Context

type boolean

type enum

module Enum : Datatype_sig.S with type t = enum

val enum_pretty : Context.t -> Stdlib.Format.formatter -> enum -> unit

val serialize_enum : 
  Context.t ->
  enum ->
  Context.t ->
  enum ->
  'a Context.in_acc ->
  (enum, 'a) Context.result

val enum_empty : Context.t -> enum

val enum_unknown : enumsize:int -> Context.t -> enum

include With_Enum_Forward
  with module Context := Context
   and type enum := enum
   and type boolean := boolean

module Enum_Forward : 
  Operator.ENUM_FORWARD
    with module Arity := Context_Arity_Forward(Context)
     and type boolean := boolean
     and type enum := enum

Module type Sig.With_Enum

Module type `Sig.With_Enum`