package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Serlib.Ser_locusSource

Sourcetype 'a or_var = 'a Locus.or_var
Sourceval sexp_of_or_var : ('a -> Sexplib0.Sexp.t) -> 'a or_var -> Sexplib0.Sexp.t
Sourceval or_var_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a or_var
Sourceval or_var_to_yojson : ('a -> Yojson.Safe.t) -> 'a or_var -> Yojson.Safe.t
Sourceval hash_fold_or_var : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a or_var -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_or_var : ('a -> 'a -> int) -> 'a or_var -> 'a or_var -> int
Sourcetype 'a occurrences_gen = 'a Locus.occurrences_gen
Sourceval sexp_of_occurrences_gen : ('a -> Sexplib0.Sexp.t) -> 'a occurrences_gen -> Sexplib0.Sexp.t
Sourceval occurrences_gen_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a occurrences_gen
Sourceval occurrences_gen_to_yojson : ('a -> Yojson.Safe.t) -> 'a occurrences_gen -> Yojson.Safe.t
Sourceval hash_fold_occurrences_gen : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a occurrences_gen -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_occurrences_gen : ('a -> 'a -> int) -> 'a occurrences_gen -> 'a occurrences_gen -> int
Sourcetype occurrences_expr = Locus.occurrences_expr
Sourceval occurrences_expr_of_sexp : Sexplib.Sexp.t -> occurrences_expr
Sourceval sexp_of_occurrences_expr : occurrences_expr -> Sexplib.Sexp.t
Sourcetype 'a with_occurrences_expr = 'a Locus.with_occurrences_expr
Sourceval sexp_of_with_occurrences_expr : ('a -> Sexplib0.Sexp.t) -> 'a with_occurrences_expr -> Sexplib0.Sexp.t
Sourceval with_occurrences_expr_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a with_occurrences_expr
Sourceval with_occurrences_expr_to_yojson : ('a -> Yojson.Safe.t) -> 'a with_occurrences_expr -> Yojson.Safe.t
Sourceval hash_fold_with_occurrences_expr : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a with_occurrences_expr -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_with_occurrences_expr : ('a -> 'a -> int) -> 'a with_occurrences_expr -> 'a with_occurrences_expr -> int
Sourcetype 'a with_occurrences = 'a Locus.with_occurrences
Sourceval sexp_of_with_occurrences : ('a -> Sexplib0.Sexp.t) -> 'a with_occurrences -> Sexplib0.Sexp.t
Sourceval with_occurrences_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a with_occurrences
Sourceval with_occurrences_to_yojson : ('a -> Yojson.Safe.t) -> 'a with_occurrences -> Yojson.Safe.t
Sourceval hash_fold_with_occurrences : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a with_occurrences -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_with_occurrences : ('a -> 'a -> int) -> 'a with_occurrences -> 'a with_occurrences -> int
Sourcetype occurrences = Locus.occurrences
Sourceval sexp_of_occurrences : occurrences -> Sexplib0.Sexp.t
Sourceval occurrences_of_sexp : Sexplib0.Sexp.t -> occurrences
Sourceval occurrences_to_yojson : occurrences -> Yojson.Safe.t
Sourceval hash_fold_occurrences : Ppx_hash_lib.Std.Hash.state -> occurrences -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_occurrences : occurrences -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_occurrences : occurrences -> occurrences -> int
Sourcetype hyp_location_flag = Locus.hyp_location_flag
Sourceval sexp_of_hyp_location_flag : hyp_location_flag -> Sexplib0.Sexp.t
Sourceval hyp_location_flag_of_sexp : Sexplib0.Sexp.t -> hyp_location_flag
Sourceval hash_fold_hyp_location_flag : Ppx_hash_lib.Std.Hash.state -> hyp_location_flag -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_hyp_location_flag : hyp_location_flag -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_hyp_location_flag : hyp_location_flag -> hyp_location_flag -> int
Sourcetype 'a hyp_location_expr = 'a Locus.hyp_location_expr
Sourceval hyp_location_expr_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a hyp_location_expr
Sourceval sexp_of_hyp_location_expr : ('a -> Sexplib.Sexp.t) -> 'a hyp_location_expr -> Sexplib.Sexp.t
Sourcetype 'id clause_expr = 'id Locus.clause_expr
Sourceval sexp_of_clause_expr : ('id -> Sexplib0.Sexp.t) -> 'id clause_expr -> Sexplib0.Sexp.t
Sourceval clause_expr_of_sexp : (Sexplib0.Sexp.t -> 'id) -> Sexplib0.Sexp.t -> 'id clause_expr
Sourceval clause_expr_to_yojson : ('id -> Yojson.Safe.t) -> 'id clause_expr -> Yojson.Safe.t
Sourceval hash_fold_clause_expr : (Ppx_hash_lib.Std.Hash.state -> 'id -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'id clause_expr -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_clause_expr : ('id -> 'id -> int) -> 'id clause_expr -> 'id clause_expr -> int
Sourcetype clause = Locus.clause
Sourceval clause_of_sexp : Sexplib.Sexp.t -> clause
Sourceval sexp_of_clause : clause -> Sexplib.Sexp.t
Sourcetype clause_atom = Locus.clause_atom
Sourceval clause_atom_of_sexp : Sexplib.Sexp.t -> clause_atom
Sourceval sexp_of_clause_atom : clause_atom -> Sexplib.Sexp.t
Sourcetype concrete_clause = Locus.concrete_clause
Sourceval concrete_clause_of_sexp : Sexplib.Sexp.t -> concrete_clause
Sourceval sexp_of_concrete_clause : concrete_clause -> Sexplib.Sexp.t
Sourcetype hyp_location = Locus.hyp_location
Sourceval sexp_of_hyp_location : hyp_location -> Sexplib0.Sexp.t
Sourceval hyp_location_of_sexp : Sexplib0.Sexp.t -> hyp_location
Sourceval hyp_location_to_yojson : hyp_location -> Yojson.Safe.t
Sourceval hash_fold_hyp_location : Ppx_hash_lib.Std.Hash.state -> hyp_location -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_hyp_location : hyp_location -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_hyp_location : hyp_location -> hyp_location -> int
Sourcetype goal_location = Locus.goal_location
Sourceval goal_location_of_sexp : Sexplib.Sexp.t -> goal_location
Sourceval sexp_of_goal_location : goal_location -> Sexplib.Sexp.t
Sourcetype simple_clause = Locus.simple_clause
Sourceval simple_clause_of_sexp : Sexplib.Sexp.t -> simple_clause
Sourceval sexp_of_simple_clause : simple_clause -> Sexplib.Sexp.t
Sourcetype 'id or_like_first = 'id Locus.or_like_first
Sourceval or_like_first_of_sexp : (Sexplib.Sexp.t -> 'id) -> Sexplib.Sexp.t -> 'id or_like_first
Sourceval sexp_of_or_like_first : ('id -> Sexplib.Sexp.t) -> 'id or_like_first -> 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