Module As_prover.Ref0

type 'a t