package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type argument_position = Impargs.argument_position
val argument_position_of_sexp : Sexplib.Sexp.t -> argument_position
val sexp_of_argument_position : argument_position -> Sexplib.Sexp.t
type implicit_explanation = Impargs.implicit_explanation
val implicit_explanation_of_sexp : Sexplib.Sexp.t -> implicit_explanation
val sexp_of_implicit_explanation : implicit_explanation -> Sexplib.Sexp.t
type maximal_insertion = Impargs.maximal_insertion
val maximal_insertion_of_sexp : Sexplib.Sexp.t -> maximal_insertion
val sexp_of_maximal_insertion : maximal_insertion -> Sexplib.Sexp.t
type force_inference = Impargs.force_inference
val force_inference_of_sexp : Sexplib.Sexp.t -> force_inference
val sexp_of_force_inference : force_inference -> Sexplib.Sexp.t
type implicit_side_condition = Impargs.implicit_side_condition
val sexp_of_implicit_side_condition : implicit_side_condition -> Sexplib0.Sexp.t
val implicit_side_condition_of_sexp : Sexplib0.Sexp.t -> implicit_side_condition
val implicit_side_condition_to_yojson : implicit_side_condition -> Yojson.Safe.t
val implicit_side_condition_of_yojson : Yojson.Safe.t -> implicit_side_condition Ppx_deriving_yojson_runtime.error_or
val hash_fold_implicit_side_condition : Ppx_hash_lib.Std.Hash.state -> implicit_side_condition -> Ppx_hash_lib.Std.Hash.state
val hash_implicit_side_condition : implicit_side_condition -> Ppx_hash_lib.Std.Hash.hash_value
val compare_implicit_side_condition : implicit_side_condition -> implicit_side_condition -> int
type implicit_status = Impargs.implicit_status
val implicit_status_of_sexp : Sexplib.Sexp.t -> implicit_status
val sexp_of_implicit_status : implicit_status -> Sexplib.Sexp.t
type implicits_list = Impargs.implicits_list
val implicits_list_of_sexp : Sexplib.Sexp.t -> implicits_list
val sexp_of_implicits_list : implicits_list -> Sexplib.Sexp.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct