Module `Gospel.Symbols`Source

Sourcemodule Ident = Identifier.Ident

Sourcetype vsymbol = {

}

val pp_vsymbol : 
  Ppx_deriving_runtime.Format.formatter ->
  vsymbol ->
  Ppx_deriving_runtime.unit

Sourceval show_vsymbol : vsymbol -> Ppx_deriving_runtime.string

Sourceval create_vsymbol : Gospel__Identifier.Preid.t -> Ttypes.ty -> vsymbol

Sourcemodule Vs : sig ... end

Sourcemodule Svs : sig ... end

Sourcemodule Mvs : sig ... end

Sourcetype lsymbol = {

}

val pp_lsymbol : 
  Ppx_deriving_runtime.Format.formatter ->
  lsymbol ->
  Ppx_deriving_runtime.unit

Sourceval show_lsymbol : lsymbol -> Ppx_deriving_runtime.string

Sourceval ls_equal : lsymbol -> lsymbol -> bool

Sourcemodule LS : sig ... end

Sourcemodule Sls : sig ... end

Sourcemodule 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

Sourceval psymbol : Ident.t -> Ttypes.ty list -> lsymbol

Sourceval ls_subst_ts : Ttypes.tysymbol -> Ttypes.tysymbol -> lsymbol -> lsymbol

val ls_subst_ty : 
  Ttypes.tysymbol ->
  Ttypes.tysymbol ->
  Ttypes.ty ->
  lsymbol ->
  lsymbol

buil-in lsymbols

Sourceval ps_equ : lsymbol

Sourceval fs_unit : lsymbol

Sourceval fs_bool_true : lsymbol

Sourceval fs_bool_false : lsymbol

Sourceval fs_apply : lsymbol

Sourceval tvo : Gospel.Ttypes.Ident.t

Sourceval tvl : Gospel.Ttypes.Ident.t

Sourceval tv_option : Ttypes.ty

Sourceval tv_list : Ttypes.ty

Sourceval fs_option_none : lsymbol

Sourceval fs_option_some : lsymbol

Sourceval fs_list_nil : lsymbol

Sourceval fs_list_cons : lsymbol

Sourceval fs_tuple_ids : (Ident.t, lsymbol) Hashtbl.t

Sourceval fs_tuple : int -> lsymbol

Sourceval is_fs_tuple : lsymbol -> bool

package gospel