- val exact : unit -> unit
- val apply : unit -> unit
- val elimintrossimpl : unit -> unit
- val elimtype : unit -> unit
+ val exact : ?term:string -> unit -> unit
+ val apply : ?term:string -> unit -> unit
+ val elimintrossimpl : ?term:string -> unit -> unit
+ val elimtype : ?term:string -> unit -> unit