package lustre-v6

  1. Overview
  2. Docs
val colcol : Str.regexp
val prime : Str.regexp
val id2s : string -> string
val long2s : Lv6Id.long -> string
val type_to_short_string : Data.t -> string
val key_table : (Soc.ident, (Data.t list * Soc.key_opt, int) Hashtbl.t) Hashtbl.t
val get_base_name : Soc.key -> string
val get_ctx_name : Soc.key -> string
val get_soc_name : Soc.key -> string
OCaml

Innovation. Community. Security.