links

The Links Programming Language
IN THIS PACKAGE
val tyenv : environment
method optionu : 'a. ( 'self_type -> 'a -> 'self_type * 'a ) -> 'a option -> 'self_type * 'a option
method option : 'a. ( 'self_type -> 'a -> 'self_type * 'a * Links_core.Types.datatype ) -> 'a option -> 'self_type * 'a option * Links_core.Types.datatype option
method list : 'a. ( 'self_type -> 'a -> 'self_type * 'a * Links_core.Types.datatype ) -> 'a list -> 'self_type * 'a list * Links_core.Types.datatype list
method name_map : 'a. ( 'self_type -> 'a -> 'self_type * 'a * Links_core.Types.datatype ) -> 'a Links_core.Ir.name_map -> 'self_type * 'a Links_core.Ir.name_map * Links_core.Types.datatype Links_core.Ir.name_map
method var_map : 'a. ( 'self_type -> 'a -> 'self_type * 'a * Links_core.Types.datatype ) -> 'a Links_core.Ir.var_map -> 'self_type * 'a Links_core.Ir.var_map * Links_core.Types.datatype Links_core.Ir.var_map
method temporal_update : Links_core.Ir.temporal_update -> 'self_type * Links_core.Ir.temporal_update
method temporal_deletion : Links_core.Ir.temporal_deletion -> 'self_type * Links_core.Ir.temporal_deletion
method bindings : Links_core.Ir.binding list -> 'self_type * Links_core.Ir.binding list
method binding : Links_core.Ir.binding -> 'self_type * Links_core.Ir.binding
method binder : Links_core.Ir.binder -> 'self_type * Links_core.Ir.binder
method get_type_environment : environment