Up

module Structs

: sig
#
module type S = sig
#
type (_, _) field
#
val field : 't Static.typ -> string -> 'a Static.typ -> ('a, (('s, [<
| `Struct
| `Union
]) Static.structured as 't)) field
#
val seal : (_, [<
| `Struct
| `Union
]) Static.structured Static.typ -> unit
end
end