Cir_logic.Module
val init : vm:('f, 'b, 'r, 'm, 's, 'branch) Types.manager -> ('f, 'r, 'm) Cir_types.module_handle -> 's -> 's Types.evaluation_result