package records

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type `Safe.LAYOUT`

type s

val layout : s layout

A value representing the layout.

val field : string -> 'a Type.t -> ('a, s) Field.t

Add a field to the layout. This modifies the layout and returns the field.

val seal : unit -> unit

Make the layout unmodifiable. It is necessary before constructing values.

val layout_name : string

The name that was given to the layout.

val layout_id : s Polid.t

The unique identifier given to a layout.

val make : unit -> s t

Allocate a record of the layout, with all fields initially unset.