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 or_var_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a or_var
Sourceval sexp_of_or_var : ('a -> Sexplib.Sexp.t) -> 'a or_var -> Sexplib.Sexp.t
Sourceval or_var_of_yojson : (Yojson.Safe.t -> ('a, string) Result.result) -> Yojson.Safe.t -> ('a or_var, string) Result.result
Sourceval or_var_to_yojson : ('a -> Yojson.Safe.t) -> 'a or_var -> Yojson.Safe.t
Sourcetype 'a occurrences_gen = 'a Locus.occurrences_gen
Sourceval occurrences_gen_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a occurrences_gen
Sourceval sexp_of_occurrences_gen : ('a -> Sexplib.Sexp.t) -> 'a occurrences_gen -> Sexplib.Sexp.t
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 = 'a Locus.with_occurrences
Sourceval with_occurrences_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a with_occurrences
Sourceval sexp_of_with_occurrences : ('a -> Sexplib.Sexp.t) -> 'a with_occurrences -> Sexplib.Sexp.t
Sourceval with_occurrences_of_yojson : (Yojson.Safe.t -> ('a, string) Result.result) -> Yojson.Safe.t -> ('a with_occurrences, string) Result.result
Sourceval with_occurrences_to_yojson : ('a -> Yojson.Safe.t) -> 'a with_occurrences -> Yojson.Safe.t
Sourcetype occurrences = Locus.occurrences
Sourceval occurrences_of_sexp : Sexplib.Sexp.t -> occurrences
Sourceval sexp_of_occurrences : occurrences -> Sexplib.Sexp.t
Sourcetype hyp_location_flag = Locus.hyp_location_flag
Sourceval hyp_location_flag_of_sexp : Sexplib.Sexp.t -> hyp_location_flag
Sourceval sexp_of_hyp_location_flag : hyp_location_flag -> Sexplib.Sexp.t
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 clause_expr_of_sexp : (Sexplib.Sexp.t -> 'id) -> Sexplib.Sexp.t -> 'id clause_expr
Sourceval sexp_of_clause_expr : ('id -> Sexplib.Sexp.t) -> 'id clause_expr -> Sexplib.Sexp.t
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 hyp_location_of_sexp : Sexplib.Sexp.t -> hyp_location
Sourceval sexp_of_hyp_location : hyp_location -> Sexplib.Sexp.t
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