links 0.9 · OCaml Package

val var_env : Links_core.Types.environment

val tycon_env : Links_core.Types.tycon_environment

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 backup_envs : Links_core.Types.environment
                     * Links_core.Types.tycon_environment
                     * Links_core.Types.environment
                     * Links_core.Types.row

method restore_envs : (Links_core.Types.environment
                       * Links_core.Types.tycon_environment
                       * Links_core.Types.environment
                       * Links_core.Types.row) ->
  'self

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 lookup_type : Links_core.Sugartypes.name -> Links_core.Types.datatype

method lookup_effects : Links_core.Types.row

method with_effects : Links_core.Types.row -> 'self

method binder : Links_core.Sugartypes.Binder.with_pos ->
  'self * Links_core.Sugartypes.Binder.with_pos

method binding : Links_core.Sugartypes.binding ->
  'self * Links_core.Sugartypes.binding

method bindingnode : Links_core.Sugartypes.bindingnode ->
  'self * Links_core.Sugartypes.bindingnode

method binop : Links_core.Operators.BinaryOp.t ->
  'self * Links_core.Operators.BinaryOp.t * Links_core.Types.datatype

method constant : Links_core.CommonTypes.Constant.t ->
  'self * Links_core.CommonTypes.Constant.t * Links_core.Types.datatype

method funlit : Links_core.Types.row ->
  Links_core.Sugartypes.funlit ->
  'self * Links_core.Sugartypes.funlit * Links_core.Types.datatype

method iterpatt : Links_core.Sugartypes.iterpatt ->
  'self * Links_core.Sugartypes.iterpatt

method quantifiers : Links_core.Types.quantifier list ->
  'self * Links_core.Types.quantifier list

method backup_quantifiers : Links_core.Utility.IntSet.t

method restore_quantifiers : Links_core.Utility.IntSet.t -> 'self

method rec_bodies : Links_core.Sugartypes.recursive_function list ->
  'self * Links_core.Sugartypes.recursive_function list

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 sugar_datatype : Links_core.Sugartypes.Datatype.with_pos ->
  'self * Links_core.Sugartypes.Datatype.with_pos

method datatype : Links_core.Types.datatype ->
  'self * Links_core.Types.datatype

method datatype' : Links_core.Sugartypes.datatype' ->
  'self * Links_core.Sugartypes.datatype'

method lens_type : Links_core.Lens.Type.t -> 'self * Links_core.Lens.Type.t

method row : Links_core.Types.row -> 'self * Links_core.Types.row

method patternnode : Links_core.Sugartypes.Pattern.t ->
  'self * Links_core.Sugartypes.Pattern.t

method pattern : Links_core.Sugartypes.Pattern.with_pos ->
  'self * Links_core.Sugartypes.Pattern.with_pos

method phrase : Links_core.Sugartypes.phrase ->
  'self * Links_core.Sugartypes.phrase * Links_core.Types.datatype

method given_spawn_location : Links_core.Sugartypes.given_spawn_location ->
  'self * Links_core.Sugartypes.given_spawn_location

method phrasenode : Links_core.Sugartypes.phrasenode ->
  'self * Links_core.Sugartypes.phrasenode * Links_core.Types.datatype

method cp_phrase : Links_core.Sugartypes.cp_phrase ->
  'self * Links_core.Sugartypes.cp_phrase * Links_core.Types.datatype

method cp_phrasenode : Links_core.Sugartypes.cp_phrasenode ->
  'self * Links_core.Sugartypes.cp_phrasenode * Links_core.Types.datatype

method program : Links_core.Sugartypes.program ->
  'self * Links_core.Sugartypes.program * Links_core.Types.datatype option

method regex : Links_core.Sugartypes.regex ->
  'self * Links_core.Sugartypes.regex

method section : Links_core.Operators.Section.t ->
  'self * Links_core.Operators.Section.t * Links_core.Types.datatype

method sentence : Links_core.Sugartypes.sentence ->
  'self * Links_core.Sugartypes.sentence

method unary_op : Links_core.Operators.UnaryOp.t ->
  'self * Links_core.Operators.UnaryOp.t * Links_core.Types.datatype

package links