Module Build.Mu_Formal

val intro : level:int -> actual:'a t -> actual_cond:Operator.Function_symbol.boolean t -> 'a Operator.Function_symbol.typ -> 'a t