package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Big_int = Nat_big_num
val in_substs : Ast.id -> Ast.subst list -> bool
val instantiate_id : Ast.id -> Ast.subst list -> Ast.id
val instantiate_typ : ('a * Ast.typ) Ast_util.KBindings.t -> Ast.typ -> Ast.typ
val instantiate_def : string -> Ast.id -> 'a -> 'b Ast.def -> 'c Ast.def option
val instantiated_or_abstract : Parse_ast.l -> 'a option list -> 'b option