diff options
Diffstat (limited to 'lib/syntax/catalog.mli')
| -rw-r--r-- | lib/syntax/catalog.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/syntax/catalog.mli b/lib/syntax/catalog.mli index a256c17..a386d4a 100644 --- a/lib/syntax/catalog.mli +++ b/lib/syntax/catalog.mli @@ -18,13 +18,15 @@ type ex = -> ex (** Type of check to apply *) val build : + ?location_id:'a Type.Id.t -> + ?context_id:'b Type.Id.t -> (module S.Analyzer with type Expression.t = _ and type Expression.t' = _ and type Instruction.t = _ and type Instruction.t' = _ and type Location.t = 'a - and type context = _) -> - 'a Type.Id.t * ex + and type context = 'b) -> + ex (** Build a new check from a module following S.Analyzer signature. ypeid Return the result type which hold the final result value, and checker itself. *) |