Source file `clause.ml`

1
2
3
4
5
6
7
8
9
10
11
open! Base
open! Import

module Match = struct
  type t =
    { children : Type_.t list
    ; apply_functor : Ctx.t -> module_expr list -> module_expr
    }
end

type t = Type_.t -> Ctx.t -> Match.t option