package gospel

  1. Overview
  2. Docs
module Ident = Identifier.Ident
type vsymbol = {
  1. vs_name : Ident.t;
  2. vs_ty : Ttypes.ty;
}
val pp_vsymbol : Ppx_deriving_runtime.Format.formatter -> vsymbol -> Ppx_deriving_runtime.unit
val show_vsymbol : vsymbol -> Ppx_deriving_runtime.string
val create_vsymbol : Gospel__Identifier.Preid.t -> Ttypes.ty -> vsymbol
module Vs : sig ... end
module Svs : sig ... end
module Mvs : sig ... end
type lsymbol = {
  1. ls_name : Ident.t;
  2. ls_args : Ttypes.ty list;
  3. ls_value : Ttypes.ty option;
  4. ls_constr : bool;
  5. ls_field : bool;
}
val pp_lsymbol : Ppx_deriving_runtime.Format.formatter -> lsymbol -> Ppx_deriving_runtime.unit
val show_lsymbol : lsymbol -> Ppx_deriving_runtime.string
val ls_equal : lsymbol -> lsymbol -> bool
module LS : sig ... end
module Sls : sig ... end
module Mls : sig ... end
val lsymbol : ?constr:bool -> field:bool -> Ident.t -> Ttypes.ty list -> Ttypes.ty option -> lsymbol
val fsymbol : ?constr:bool -> field:bool -> Ident.t -> Ttypes.ty list -> Ttypes.ty -> lsymbol
val psymbol : Ident.t -> Ttypes.ty list -> lsymbol
val ls_subst_ts : Ttypes.tysymbol -> Ttypes.tysymbol -> lsymbol -> lsymbol

buil-in lsymbols

val ps_equ : lsymbol
val fs_unit : lsymbol
val fs_bool_true : lsymbol
val fs_bool_false : lsymbol
val fs_apply : lsymbol
val tv_option : Ttypes.ty
val tv_list : Ttypes.ty
val fs_option_none : lsymbol
val fs_option_some : lsymbol
val fs_list_nil : lsymbol
val fs_list_cons : lsymbol
val fs_tuple_ids : (Ident.t, lsymbol) Stdlib.Hashtbl.t
val fs_tuple : int -> lsymbol
val is_fs_tuple : lsymbol -> bool
OCaml

Innovation. Community. Security.