Module Harpoon.Proof

type t =
  1. | Incomplete of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. label : Beluga_syntax.Syncom.Identifier.t Support.Option.t;
    }
  2. | Command of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. command : Command.t;
    3. body : t;
    }
  3. | Directive of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. directive : Directive.t;
    }