links

The Links Programming Language
IN THIS PACKAGE
val effect_row : Links_core.Types.row
method get_var_env : unit -> Links_core.Types.environment
method get_tycon_env : unit -> Links_core.Types.tycon_environment
method get_formlet_env : unit -> Links_core.Types.environment
method with_var_env : Links_core.Types.environment -> 'self
method with_formlet_env : Links_core.Types.environment -> 'self
method bind_tycon : string -> Links_core.Types.tycon_spec -> 'self
method bind_binder : Links_core.Sugartypes.Binder.with_pos -> 'self
method lookup_effects : Links_core.Types.row
method with_effects : Links_core.Types.row -> 'self
method backup_quantifiers : Links_core.Utility.IntSet.t
method restore_quantifiers : Links_core.Utility.IntSet.t -> 'self
method rec_activate_outer_bindings : Links_core.Sugartypes.recursive_function list -> 'self * Links_core.Sugartypes.recursive_function list
method rec_activate_inner_bindings : Links_core.Sugartypes.recursive_function list -> 'self
method lens_type : Links_core.Lens.Type.t -> 'self * Links_core.Lens.Type.t