package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
type parameters = {
  1. abort_type : Ast.typ;
  2. barrier_type : Ast.typ;
  3. cache_op_type : Ast.typ;
  4. fault_type : Ast.typ;
  5. pa_type : Ast.typ;
  6. tlbi_type : Ast.typ;
  7. translation_summary_type : Ast.typ;
  8. arch_ak_type : Ast.typ;
}
val find_monad_parameters : Type_check.Env.t -> parameters option