package abt

  1. Overview
  2. Docs
module CL = Core_kernel.Core_list
module type ABT = sig ... end
module MakeAbt (O : Operator.OPERATOR) : ABT with type op := O.t and module Variable = Variable.Var
OCaml

Innovation. Community. Security.