package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Names = Ser_names
type univ_name_list = Names.lname list
val univ_name_list_of_sexp : Sexplib0.Sexp.t -> univ_name_list
val sexp_of_univ_name_list : univ_name_list -> Sexplib0.Sexp.t
val univ_name_list_to_yojson : univ_name_list -> Yojson.Safe.t
val hash_fold_univ_name_list : Base.Hash.state -> univ_name_list -> Base.Hash.state
val hash_univ_name_list : univ_name_list -> Base.Hash.hash_value
val compare_univ_name_list : univ_name_list -> univ_name_list -> int
type full_name_list = Names.lname list * Names.lname list
val full_name_list_of_sexp : Sexplib0.Sexp.t -> full_name_list
val sexp_of_full_name_list : full_name_list -> Sexplib0.Sexp.t
val full_name_list_to_yojson : full_name_list -> Yojson.Safe.t
val hash_fold_full_name_list : Base.Hash.state -> full_name_list -> Base.Hash.state
val hash_full_name_list : full_name_list -> Base.Hash.hash_value
val compare_full_name_list : full_name_list -> full_name_list -> int
OCaml

Innovation. Community. Security.