package libsail

You can search for identifiers within the package.

in-package search v0.2.0

Module `Libsail.Scattered`Source

Sourceval funcl_id : 'a Ast.funcl -> Ast.id

Sourceval last_scattered_funcl : Ast.id -> ('a, 'b) Ast.def list -> bool

Sourceval last_scattered_mapcl : Ast.id -> ('a, 'b) Ast.def list -> bool

Sourceval fake_rec_opt : Parse_ast.l -> 'a Ast.rec_opt

Sourceval no_tannot_opt : Parse_ast.l -> Ast.tannot_opt

Source

val get_union_records : 
  Ast.id ->
  ('a, 'b) Ast.def list ->
  ('a, 'b) Ast.def list ->
  ('a, 'b) Ast.def list

Source

val filter_union_clauses : 
  Ast.id ->
  ('a, 'b) Ast.def list ->
  ('a, 'b) Ast.def list

Source

val filter_enum_clauses : 
  Ast.id ->
  ('a, 'b) Ast.def list ->
  ('a, 'b) Ast.def list

Source

val patch_funcl_loc : 
  Type_check.env Ast.def_annot ->
  'a Ast.funcl ->
  'a Ast.funcl

Source

val patch_mapcl_annot : 
  Type_check.env Ast.def_annot ->
  'a Ast.mapcl ->
  'a Ast.mapcl

Source

val descatter' : 
  Type_check.Env.t ->
  Type_check.env Ast.def_annot Ast_util.Bindings.t ->
  (Type_check.tannot, Type_check.env) Ast.def list ->
  Type_check.tannot Ast.funcl list Ast_util.Bindings.t ->
  Type_check.tannot Ast.mapcl list Ast_util.Bindings.t ->
  (Type_check.tannot, Type_check.env) Ast.def list ->
  (Type_check.tannot, Type_check.env) Ast.def list

Source

val descatter : 
  Type_check.Env.t ->
  (Type_check.tannot, Type_check.env) Ast_defs.ast ->
  (Type_check.tannot, Type_check.env) Ast_defs.ast

package libsail

Module Libsail.ScatteredSource

Module `Libsail.Scattered`Source