Module Goals.Reified_goalSource

Sourcetype 'a hyp = {
  1. names : string list;
    (*

    This will become Names.Id.t list in 0.2.0

    *)
  2. def : 'a option;
  3. ty : 'a;
}
Sourcetype info = {
  1. evar : Evar.t;
  2. name : Names.Id.t option;
}
Sourcetype 'a t = {
  1. info : info;
  2. hyps : 'a hyp list;
  3. ty : 'a;
}
Sourceval map : f:('a -> 'b) -> 'a t -> 'b t
Sourceval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool