package alt-ergo-lib

  1. Overview
  2. Docs
type 'a abstract =
  1. | Constr of {
    1. c_name : Hstring.t;
    2. c_ty : Ty.t;
    3. c_args : (Hstring.t * 'a) list;
    }
  2. | Select of {
    1. d_name : Hstring.t;
    2. d_ty : Ty.t;
    3. d_arg : 'a;
    }
  3. | Tester of {
    1. t_name : Hstring.t;
    2. t_arg : 'a;
    }
  4. | Alien of 'a
module type ALIEN = sig ... end
module Shostak (X : ALIEN) : Sig.SHOSTAK with type r = X.r and type t = X.r abstract
OCaml

Innovation. Community. Security.