package bddapron

  1. Overview
  2. Docs
val iter : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> ('a -> unit) -> Reg.Minterm.t -> unit
val map : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> ('a -> 'f) -> Reg.Minterm.t -> 'f list
OCaml

Innovation. Community. Security.