zelus 2.2 (latest) · OCaml Package

val no_op : 'a -> 'b -> unit

val is_infix : String.t -> bool

val parenthesis : String.t -> String.t

val shortname : Format.formatter -> String.t -> unit

val qualident : Format.formatter -> Lident.qualident -> unit

val longname : Format.formatter -> Lident.t -> unit

val name : Format.formatter -> Zident.t -> unit

val source_name : Format.formatter -> Zident.t -> unit

val immediate : Format.formatter -> Deftypes.immediate -> unit

val constant : Format.formatter -> Deftypes.constant -> unit

val print_opt_magic : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a option ->
  unit

val pattern : Format.formatter -> Zelus.pattern -> unit

val pattern_list : 
  string ->
  string ->
  string ->
  Format.formatter ->
  Zelus.pattern list ->
  unit

val ptype : Format.formatter -> Zelus.type_expression -> unit

val default : Format.formatter -> Deftypes.constant Zelus.default -> unit

val combine : Format.formatter -> Lident.t -> unit

val print_vardec_list : Format.formatter -> Zelus.vardec list -> unit

val kind : Deftypes.mkind -> string

val print_binding : Format.formatter -> (Zident.t * Deftypes.tentry) -> unit

val print_env : Format.formatter -> Deftypes.tentry Zident.Env.t -> unit

val print_writes : Format.formatter -> Deftypes.defnames -> unit

val print_eq_info : Format.formatter -> Zelus.eq -> unit

val block : 
  (Format.formatter -> Zelus.local list -> unit) ->
  ('a -> 'b -> Format.formatter -> 'c -> unit) ->
  'a ->
  'b ->
  Format.formatter ->
  'c Zelus.block ->
  unit

val match_handler : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a Zelus.match_handler ->
  unit

val present_handler : 
  (Format.formatter -> Zelus.scondpat -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a Zelus.present_handler ->
  unit

val period : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a Zelus.period ->
  unit

val expression : Format.formatter -> Zelus.exp -> unit

val operator : Format.formatter -> Zelus.op -> Zelus.exp list -> unit

val equation : Format.formatter -> Zelus.eq -> unit

val block_equation_list : 
  string ->
  string ->
  Format.formatter ->
  Zelus.eq list Zelus.block ->
  unit

val equation_list : 
  string ->
  string ->
  Format.formatter ->
  Zelus.eq list ->
  unit

val state_handler_list : 
  Zelus.is_weak ->
  Format.formatter ->
  Zelus.state_handler list ->
  unit

val state_handler : 
  Zelus.is_weak ->
  Format.formatter ->
  Zelus.state_handler ->
  unit

val escape : Format.formatter -> Zelus.escape -> unit

val scondpat : Format.formatter -> Zelus.scondpat -> unit

val statepat : Format.formatter -> Zelus.statepat -> unit

val state : Format.formatter -> Zelus.state_exp -> unit

val locals : Format.formatter -> Zelus.local list -> unit

val local : Format.formatter -> Zelus.local -> unit

val constr_decl : 
  Format.formatter ->
  Zelus.constr_decl_desc Zelus.localized ->
  unit

val type_decl : 
  Format.formatter ->
  Zelus.type_decl_desc Zelus.localized ->
  unit

val state_ident_typ : 
  Format.formatter ->
  (Zident.t * Deftypes.typ) Zmisc.State.t ->
  unit

val state_eq : Format.formatter -> Zelus.eq Zmisc.State.t -> unit

val open_module : Format.formatter -> String.t -> unit

val funexp : Format.formatter -> Zelus.funexp -> unit

val implementation : 
  Format.formatter ->
  Zelus.implementation_desc Zelus.localized ->
  unit

val implementation_list : 
  Format.formatter ->
  Zelus.implementation_desc Zelus.localized list ->
  unit

val interface : 
  Format.formatter ->
  Zelus.interface_desc Zelus.localized ->
  unit

val interface_list : 
  Format.formatter ->
  Zelus.interface_desc Zelus.localized list ->
  unit

val print_value_code : Format.formatter -> Global.value_code -> unit

val print_value : Format.formatter -> Global.value_exp -> unit

package zelus