package sail

  1. Overview
  2. Docs
val optimize_aarch64_fast_struct : bool Stdlib.ref
val opt_memo_cache : bool Stdlib.ref
val initial_ctx : Type_check.Env.t -> ctx
module type Config = sig ... end
module Make (C : Config) : sig ... end
val add_special_functions : Type_check.Env.t -> Type_check.Env.t
OCaml

Innovation. Community. Security.