An 'a Type.t is an isomorphism between 'a and a subset of Value.t.
val sexp_of_t :
('a -> Ppx_sexp_conv_lib.Sexp.t) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.tval bool : bool tval ignored : unit tval int : int tval string : string tval unit : unit tval sexpable :
(module Core_kernel.Sexpable with type t = 'a) ->
name:Core_kernel.Sexp.t ->
'a tEmbed a sexpable ocaml type, so we can save values of the type in emacs, e.g. as buffer local variables
val caml_embed : 'a Core_kernel.Type_equal.Id.t -> 'a tEmbed values of type 'a. Note that unlike other functions above, the values are not transformed, so this can be used to preserve state in emacs. More precisely, this following returns true:
let var = Var.create (Value.Type.caml_embed type_id) in
Current_buffer.set_value var v;
phys_equal v (Current_buffer.value_exn var)val path_list : string list tA list of directories. Each element is a string (directory name) or nil (try default directory). nil values are converted to ".", which has the same meaning.
val map :
'a t ->
name:Core_kernel.Sexp.t ->
of_:('a -> 'b) ->
to_:('b -> 'a) ->
'b t