Module AltErgoLib.Fpa

type 'r abstract =
  1. | Alien of 'r
  2. | Literal of int * int * Fp_value.t
module Shostak (X : sig ... end) : Sig.SHOSTAK with type r = X.r and type t = X.r abstract