package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Semantics.MakeSource

Parameters

module T : SemanticExt

Signature

Sourceval binds_id : Ast.id -> 'a1 Ast.pat -> bool
Sourceval substitute : Ast.id -> Value_type.value -> 'a1 Ast.exp -> 'a1 Ast.exp
Sourceval substitute_arm : Ast.id -> Value_type.value -> 'a1 Ast.pexp -> 'a1 Ast.pexp
Sourceval substitute_lexp : Ast.id -> Value_type.value -> 'a1 Ast.lexp -> 'a1 Ast.lexp
Sourceval same_bits : Value_type.bit list -> Value_type.value list -> bool
Sourceval pattern_match_literal : Ast.lit -> Value_type.value -> bool
Sourceval get_struct_field : string -> (string * Value_type.value) list -> Value_type.value
Sourceval no_match : bool * binding IdUtil.IdMap.t
Sourceval empty_bindings : binding IdUtil.IdMap.t
Sourceval lookup_field : Parse_ast.l -> string -> (string * Value_type.value) list -> Value_type.value Monad.t
Sourceval destructuring_assignment : T.tannot Ast.annot -> destructure -> Value_type.value -> unit Monad.t
Sourceval lexp_to_destructure : T.tannot Ast.lexp -> destructure Monad.t
Sourceval update_field : string -> Value_type.value -> (string * Value_type.value) list -> (string * Value_type.value) list