package sail

  1. Overview
  2. Docs
val opt_ddump_spec_ast : (string * int) option Stdlib.ref
type specialization
val typ_ord_specialization : specialization
val int_specialization : specialization
val int_specialization_with_externs : specialization
val polymorphic_functions : specialization -> 'a Ast.def list -> Ast_util.IdSet.t
val add_initial_calls : Ast_util.IdSet.t -> unit
val string_of_instantiation : Ast.typ_arg Ast_util.KBindings.t -> string
OCaml

Innovation. Community. Security.