sig
  type s
  val layout : Record.Safe.LAYOUT.s Record.layout
  val field :
    string -> 'a Record.Type.t -> ('a, Record.Safe.LAYOUT.s) Record.Field.t
  val seal : unit -> unit
  val layout_name : string
  val layout_id : Record.Safe.LAYOUT.s Record.Polid.t
  val make : unit -> Record.Safe.LAYOUT.s Record.t
end