Module type Bce_pe_fixpoint.S

module Env : Libzipperposition.Env.S
val setup : unit -> unit