package sail

  1. Overview
  2. Docs
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
val funcl_id : 'a Ast.funcl -> Ast.id
val last_scattered_funcl : Ast.id -> 'a Ast.def list -> bool
val last_scattered_mapcl : Ast.id -> 'a Ast.def list -> bool
val no_effect_opt : Parse_ast.l -> Ast.effect_opt
val fake_rec_opt : Parse_ast.l -> 'a Ast.rec_opt
val no_tannot_opt : Parse_ast.l -> Ast.tannot_opt
val get_union_clauses : Ast.id -> 'a Ast.def list -> Ast.type_union list
val filter_union_clauses : Ast.id -> 'a Ast.def list -> 'a Ast.def list