package libsail

You can search for identifiers within the package.

in-package search v0.2.0

Module `Libsail.Outcome_rewrites`Source

module Big_int = Nat_big_num

Sourceval in_substs : Ast.id -> Ast.subst list -> bool

Sourceval instantiate_id : Ast.id -> Ast.subst list -> Ast.id

val instantiate_typ : 
  ('a * Ast.typ_arg) Ast_util.KBindings.t ->
  Ast.typ ->
  Ast.typ

val instantiate_typquant : 
  ('a * Ast.typ_arg) Ast_util.KBindings.t ->
  Ast.typquant ->
  Ast.typquant

val instantiate_def : 
  string ->
  Ast.id ->
  'a ->
  ('b, 'c) Ast.def ->
  ('b, 'c) Ast.def option

Sourceval instantiated_or_abstract : Parse_ast.l -> 'a option list -> 'a option

val instantiate : 
  String.t ->
  (Type_check.tannot, Type_check.env) Ast_defs.ast ->
  (Type_check.tannot, Type_check.env) Ast_defs.ast