diff options
| author | Chimrod <> | 2024-12-14 23:06:12 +0100 |
|---|---|---|
| committer | Chimrod <> | 2025-01-03 15:05:00 +0100 |
| commit | 75f3eabb46eded01460f7700a75d094100047438 (patch) | |
| tree | 4dcee7d2fc9310ff41776d9df8986f5efa0db229 /lib/syntax/catalog.mli | |
| parent | 289dc576624d4233116806e566bb791fee1de178 (diff) | |
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. *) |