Skip to content

Mark Cohen / thesis

Go to a project
Commit cec47b15 by Mark Cohen
Options

Gave TyExpr struct a sig

parent fab2d75a
Inline Side-by-side
Showing with 5 additions and 1 deletions
LUCA-2/tyexpr.sml
structure TyExpr = struct
structure TyExpr: sig
val tyExpr: Scan.token -> Scan.token list -> (Ty.ty * Scan.token list) Attempt.attempt
end = struct
open Attempt
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or sign in to comment