package zelus

  1. Overview
  2. Docs
val find : Zident.Env.key -> 'a Zident.Env.t -> 'a
val exp_of_name : Zident.Env.key -> ('a * 'b) Zident.Env.t -> 'b
val pat_of_name : Zident.Env.key -> ('a * 'b) Zident.Env.t -> 'a
val name_of_name : Zident.Env.key -> (Zelus.pattern * 'a) Zident.Env.t -> Zident.t
val matching : (Zelus.pattern -> Zelus.exp -> 'a) -> 'a list -> Zelus.pattern -> Zelus.exp -> 'a list
val matching_list : (Zelus.pattern -> Zelus.exp -> 'a) -> 'a list -> Zelus.pattern list -> Zelus.exp list -> 'a list

expressions

val equation : (Zelus.pattern * Zelus.exp) Zident.Env.t -> Zelus.eq list -> Zelus.eq -> Zelus.eq list
val equation_list : (Zelus.pattern * Zelus.exp) Zident.Env.t -> Zelus.eq list -> Zelus.eq list
OCaml

Innovation. Community. Security.