package gospel

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Ident = Identifier.Ident

type vsymbol = {

}

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 = {

}

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

val ls_subst_ty : 
  Ttypes.tysymbol ->
  Ttypes.tysymbol ->
  Ttypes.ty ->
  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 tvo : Gospel.Ttypes.Ident.t

val tvl : Gospel.Ttypes.Ident.t

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